Playing games with EPR-type experiments

Playing games with EPR-type experiments

An approach towards quantum games is proposed that uses the unusual probabilities involved in EPR-type experiments directly in two-player games.

Playing Games with Timed Games

In this paper we focus on property-preserving preorders between timed game automata and their application to control of partially observable systems. Following the example of timed simulation between timed automata, we define timed alternating simulation as a preorder between timed game automata, which preserves controllability. We define a method to reduce the timed alternating simulation prob...

Playing Games with Theorem Provers

The disciplines of Computer Game Playing and Automated Theorem Proving have a lot in common and insights to share. From huge search spaces to heuristics and evaluation function, from learning to domain analysis to competition, both of these areas of Artificial Intelligence have much to gain from each other. This paper describes the use of a logic based language to describe games and a game play...

Playing Games with Genetic Algorithms

In 1987 the first published research appeared which used the Genetic Algorithm as a means of seeking better strategies in playing the repeated Prisoner’s Dilemma. Since then the application of Genetic Algorithms to game-theoretical models has been used in many ways. To seek better strategies in historical oligopolistic interactions, to model economic learning, and to explore the support of coop...

Playing Games with the Law